<?php

class DidoIndicateurPeer extends BaseDidoIndicateurPeer
{
}
